1. Applying formal methods : testing, performance, and M/E-commerce : FORTE 2004 workshops, The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings
Author: Manuel Nunez ...]et al.[ )eds(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing -- Distributed processing,Congresses ، Computer network protocols
Classification :
QA
76
.
L28
Vol
.
3236
2. Formal Techniques for Distributed Objects, Components, and Systems
Author: \ Susanne Graf , Mahesh Viswanathan (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Electronic data processing -- Distributed processing -- Congresses.,Formal methods (Computer science) -- Congresses.,Computer network protocols -- Congresses.,دادهپردازی -- پردازش توزبع شده -- کنگره ها ,روشهای صوری (کامپیوتر) -- کنگره ها ,پروتکلهای شبکه کامپیوتری -- کنگره ها
Classification :
QA
76
.
9
.
D5F6
2015
E-Book
,
3. Formal methods for protocol engineering and distributed systems :
Author: edited by Jianping Wu, Samuel T. Chanson, Qiang Gao.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer network protocols -- Congresses.,Electronic data processing -- Distributed processing -- Congresses.,Formal methods (Computer science) -- Congresses.
Classification :
QA76
.
9
.
F67
E358
1999
4. Formal techniques for distributed objects, components, and systems :
Author: Jorge A. Pérez, Nobuko Yoshida (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer network protocols, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Formal methods (Computer science), Congresses.,Computer network protocols.,Electronic data processing-- Distributed processing.,Formal methods (Computer science)
Classification :
QA76
.
9
.
D5
.
F67
2019
5. Formal techniques for networked and distributed systems
Author: / Edited by Myungchul Kim ... [et al.]
Library: Imam Reza International University library and information center (Khorasan Razavi)
Subject: Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
Classification :
EB
,
QA76
.
9
F67I579
2001
6. Formal techniques for networked and distributed systems
Author: / John Derrick, Jeuri Vain (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
Classification :
QA
,
76
.
9
,.
F67
,
F67
,
2007
7. Formal techniques for networked and distributed systems
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Formal methods (Computer science) ; Congresses. ; Electronic data processing ; Distributed processing ; Congresses. ; Computer network protocols ; Congresses. ;
8. Formal techniques for networked and distributed systems :FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea
Author: edited by Myungchul Kim ... ]et al.[
Library: Central Library of Hamedan University of Technology (Hamedan)
Subject: Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing - Distributed processing,Congresses ، Computer network protocols
Classification :
QA
76
.
9
.
F67
I579
9. Formal techniques for networked and distributed systems--FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings
Author: Doron A. Peled, Moshe Y. Vardi )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing -- Distributed processing,Congresses ، Computer network protocols
Classification :
QA
76
.
L28
Vol
.
2529
10. Formal techniques for networked and distributed systems-FORTE 2003 : 23rd IFIP WG 6.1 international conference, Berlin, Germany, September 29-October 2, 2003 : proceedings
Author: Hartmut Konig, Mokika Heiner, Adam Woiisz, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing -- Distributed processing,Congresses ، Computer network protocols
Classification :
QA
76
.
L28
Vol
.
2767
11. Formal techniques for networked and distributed systems -- FORTE 2005 : 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005 : proceedings
Author: Farn Wang )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing -- Distributed processing,Congresses ، Computer network protocols
Classification :
QA
76
.
L28
Vol
.
3731
12. Formal techniques for networked and distributed systems -- Forte 2004 : 24th IFIP WG 6.1 international conference, Madrid Spain, September 27-30, 2004 : proceedings
Author: ]edited by[ David de Frutos-Escrig, Manuel Nunez
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing -- Distributed processing,Congresses ، Computer network protocols
Classification :
QA
76
.
L28
Vol
.
3235
13. Formal techniques for networked and distributed systems: 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea [electronic resource]
Author: / Edited by Myungchul Kim ... [et al]
Library: Imam Reza International University library and information center (Khorasan Razavi)
Subject: Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
Classification :
EB
,
QA76
.
9
.
F67
,
I579
2001
